Model complete theories with a distinguished substructure
نویسندگان
چکیده
منابع مشابه
Generalized Indiscernibles as Model-complete Theories
We define a mild generalization of classical Fraïssé classes, and in this context, we recover several old (often with novel proofs) and new facts about Ramsey classes and generalized indiscernibles in the sense of [12], [17], and other sources. Of particular novelty are: (1) a new and clearly model-theoretic proof of the equivalence of the Ramsey property and the extreme amenability of the auto...
متن کاملModels of Complete Theories
The semantical concepts, such as satisfaction, truth, and model, form the subject matter of a field known as the theory of models. I am going to discuss today several related recent developments in this field. They all lie in one particular area which is indicated by the title and which will be described more fully in a moment. However, some introductory and side remarks I shall make may also s...
متن کاملTrivial, Strongly Minimal Theories Are Model Complete after Naming Constants
We prove that ifM is any model of a trivial, strongly minimal theory, then the elementary diagram Th(MM ) is a model complete LM -theory. We conclude that all countable models of a trivial, strongly minimal theory with at least one computable model are 0′′-decidable, and that the spectrum of computable models of any trivial, strongly minimal theory is Σ5. The purely model-theoretic result in th...
متن کاملGeometrical Axiomatization for Model Complete Theories of Differential Topological Fields
In this paper we give a differential lifting principle which provides a general method to geometrically axiomatize the model companion (if it exists) of some theories of differential topological fields. The topological fields we consider here are in fact topological systems in the sense of [vdD1, 2.11], and the lifting principle we develop is a generalization of the geometric axiomatization of ...
متن کاملA Complete Characterization of the Complete Intersection-Type Theories
We characterize those intersection-type theories which yield complete intersection-type assignment systems for λ-calculi, with respect to the three canonical set-theoretical semantics for intersectiontypes: the inference semantics, the simple semantics and the F-semantics. These semantics arise by taking as interpretation of types subsets of applicative structures, as interpretation of the inte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1979
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1979-0532154-x